stavudine extended-release, lamivudine, efavirenz